We propose a revision operator on a stratified belief base, i.e., a belief base that stores beliefs in different strata corresponding to the value an agent assigns to these beliefs. Furthermore, the operator will be defined as to perform the revision in such a way that information is never lost upon revision but stored in a stratum or layer containing information perceived as having a lower value. In this manner, if the revision of one layer leads to the rejection of (...) some information to maintain consistency, instead of being withdrawn it will be kept and introduced in a different layer with lower value. Throughout this development we will follow the principle of minimal change, being one of the important principles proposed in belief change theory, particularly emphasized in the AGM model. Regarding the reasoning part from the stratified belief base, the agent will obtain the inferences using an argumentative formalism. Thus, the argumentation framework will decide which information prevails when sentences of different layers are used for entailing conflicting beliefs. We will also illustrate how inferences are changed and how the status of arguments can be modified after a revision process. (shrink)

Five types of constructions are introduced for non-prioritized belief revision, i.e., belief revision in which the input sentence is not always accepted. These constructions include generalizations of entrenchment-based and sphere-based revision. Axiomatic characterizations are provided, and close interconnections are shown to hold between the different constructions.

Defeasible argumentation has been applied successfully in several real-world domains in which it is necessary to handle incomplete and contradictory information. In recent years, there have been interesting attempts to carry out argumentation processes supported by massive repositories developing argumentative reasoning applications. One of such efforts builds arguments by retrieving information from relational databases using the DBI-DeLP framework; this article presents eDBI-DeLP, which extends the original DBI-DeLP framework by providing two novel aspects which refine the interaction between DeLP programs and (...) relational databases. First, we expand the expressiveness of dbi-delp programs by providing ways of controlling how the information in databases is recovered; this is done by introducing filters that enable an improved fine-grained control on the argumentation processes which become useful in applications, providing the semantics and the implementation of such filters. Second, we introduce an argument comparison criterion which can be adjusted at the level of literals to model particular features such as credibility and topic expertise, among others. These new tools can be particularly useful in environments such as medical diagnosis expert systems, decision support systems, or recommender systems based on argumentation, where datasets are often provided in the form of relational databases. (shrink)

Diversos autores plantean la centralidad analítica del tándem europeo Alemania-Francia (también referido como ‘eje francoalemán’) durante el desarrollo de las negociaciones, en contraposición a un tándem Brasil-Argentina por el lado del Mercosur. El objetivo de este trabajo es problematizar la dinámica de funcionamiento del mencionado tándem en el contexto de expansión de la Unión Europea hacia el este a comienzos del nuevo milenio. Entendemos que las tensiones, alineamientos y realineamientos nacionales durante aquel proceso, al igual que otros sucesos de relevancia (...) que escapan a los objetivos de este trabajo, nos ofrecen material necesario para desplegar y analizar la dinámica de liderazgo europeo entre el tándem mencionado y otros actores relevantes, como el Reino Unido y los órganos institucionales de la Unión. (shrink)

The Einstein–Podolsky–Rosen–Bohm (EPRB) experiment performed with random variable and spatially separated analyzers is a milestone test in the controversy between Objective Local Theories (OLT) and Quantum Mechanics (QM). Only a few OLT are still possible. Some of the surviving OLT (specifically, the so called non-ergodic theories) would be undetectable in the averaged statistical values, but they may leave their trace in the time dynamics. For, while QM predicts random processes, the OLT of this kind predict the existence of regularities that (...) may be revealed as a low dimensional object in the phase space. We perform a numerical analysis of the time-resolved data recorded in that experiment to unveil any hypothetical low dimensional dynamics that may be present. We find no consistent indication of such dynamics except for one data file, the longest of all in the real time. The possible causes of these dynamics are discussed. (shrink)

In 2016, Béziau introduces a restricted notion of paraconsistency, the so-called genuine paraconsistency. A logic is genuine paraconsistent if it rejects the laws $\varphi,\neg \varphi \vdash \psi$ and $\vdash \neg (\varphi \wedge \neg \varphi)$. In that paper, the author analyzes, among the three-valued logics, which of them satisfy this property. If we consider multiple-conclusion consequence relations, the dual properties of those above-mentioned are $\vdash \varphi, \neg \varphi$ and $\neg (\varphi \vee \neg \varphi) \vdash$. We call genuine paracomplete logics those rejecting (...) the mentioned properties. We present here an analysis of the three-valued genuine paracomplete logics. A very natural twist structures semantics for these logics is also found in a systematic way. This semantics produces automatically a simple and elegant Hilbert-style characterization for all these logics. Finally, we introduce the logic LGP which is genuine paracomplete is not genuine paraconsistent, not even paraconsistent and cannot be characterized by a single finite logical matrix. (shrink)

In this paper we propose an approach to multi-source belief revision where the trust or credibility assigned to informant agents can be revised. In our proposal, the credibility of each informant represented as a strict partial order among informant agents, will be maintained in a repository called credibility base. Upon arrival of new information concerning the credibility of its peers, an agent will be capable of revising this strict partial order, changing the trust assigned to its peers accordingly. Our goal (...) is to formalize a set of change operators over the credibility base: expansion, contraction, prioritized, and non-prioritized revision. These operators will provide the capability of dynamically modifying the credibility of informants considering the reliability of the information. This dynamics will reflect a new perception of trust assigned to the informant, or extend the set of informants by admitting the addition of new informant agents. (shrink)

This work considers the formalisation of the merging process of stratified belief bases, where beliefs are stored in different layers or strata. Their strata are ranked, following a total order, employing the value the agent using the belief base assigns to these beliefs. The agent uses an argumentation mechanism to reason from the belief base and obtain the final inferences. We present two ways of merging stratified belief bases: the first is defined by merging two strata without belief preservation, and (...) the second by merging two strata with belief preservation. For these operators, as layers merge, it is possible that some information has to be deleted from the stratum to maintain consistency. The latter merge operator will be defined as performing their actions so that information removed from the stratum is preserved after the merging by moving it to a stratum containing information perceived as having a lower value and where those beliefs may trigger a new revision, possibly starting a cascading effect. (shrink)

En el siguiente estudio se evalúa un panorama con respecto al comportamiento sociológico en un preámbulo tanto antes durante y después de esta crisis social que se está viviendo debido a la pandemia de hoy en día. Por ello para sustentar dicha investigación se realizó un censo en el cuál, mediante el uso de herramientas estadísticas, se pudo realizar una comparación entre un antes y un durante de la pandemia, lo cual facilitaría intrínsicamente a la predicción de una denominada post (...) pandemia. En este texto se pretende detallar el proceso y forma de la encuesta, al igual que los resultados obtenidos de la misma. Se proveen, además, posibles explicaciones para estos resultados, guiándose por las restricciones de salud nacionales como posibles razones para el cambio de comportamiento actual. Palabras Clave: coronavirus, pandemia, frecuencia de salida. Referencias [1]P. Byass, «Eco-epidemiological assessment of the COVID-19 epidemic in China, January-February 2020,» Web Of Science, vol. 13, nº 1, 2020. [2]P. Stefanoni, «Brasil: pandemia, guerra cultural y precariedad,» Nueva Sociedad, pp. 49-59, 2020. [3]M. J. Báguena Cervellera, «La pandemia de COVID-19 a la luz de la historia de la medicina,» Investigación y Ciencia, 2020. [4]A. Levy, «La pandemia de COVID-19 podr{ia ayudar a resolver una gran incógnita climática,» Investigación y Ciencia, 2020. [5]T. Marcel Ariel, «Relaciones en tiempos de pandemia: COVID-19 y bienestar animal, ambiental y humano,» Revista Facultad Nacional De Agronomia Medellin, vol. 2, 2020. [6]F. Manrique-Abril, «Modelo SIR de la pandemia de Covid-19 en Colombia/SIR model of the COVID-19 pandemic in Colombia,» Revista De Salúd Publica, vol. 22, pp. 1-6, 2020. [7]D. Arango-Londoño, «Predicciones de un modelo SEIR para casos de COVID-19 en Cali, Colombia/Predictions of a SEIR model for COVID-19 cases in Cali-Colombia,» Revista De Salúd Publica, vol. 22, nº 2, pp. 1-9, 2020. [8]J. Gonzales-Castillo, «Pandemia de la COVID-19 y las Políticas de Salud Pública en el Perú: marzo-mayo 2020/COVID-19 pandemic and Public Health Policies in Peru: March-May 2020,» Revista De Salúd Publica, vol. 22, nº2, pp. 1-9, 2020. [9]A. Valenzuela-Cazés y L. Becerra-Ostos, «Práctica clínica, ámbito laboral y riesgos de la fisioterapia ante el COVID-19/Clinical practice, work and risks of physical therapy in the face of COVID-19,» Revista De Salúd Publica, vol. 22, nº 2, pp. 1-4, 2020. [10]P. Montes-Alarcón y A. Campo-Arias, «Los médicos generales y la salud mental en la pandemia por COVID-19,» Duazary, vol. 17, nº 3, pp. 4-6, 2020. (shrink)

In this paper we introduce a formalism for single-agent decision making that is based on Dynamic Argumentation Frameworks. The formalism can be used to justify a choice, which is based on the current situation the agent is involved. Taking advantage of the inference mechanism of the argumentation formalism, it is possible to consider preference relations, and conflicts among the available alternatives for that reasoning. With this formalization, given a particular set of evidence, the justified conclusions supported by warranted arguments will (...) be used by the agent’s decision rules to determine which alternatives will be selected. We also present an algorithm that implements a choice function based on our formalization. Finally, we complete our presentation by introducing formal results that relate the proposed framework with approaches of classical decision theory. (shrink)

Este ensayo se propone mostrar que, a pesar de la relevancia de la interpretación alejandrina del intelecto agente aristotélico (que Alejandro identifica con dios), tal interpretación no puede ser correcta por razones de orden sistemático que irían en contra de algunas premisas aristotélicas básicas, tanto ontológicas en general como de su noética y psicología en particular. En el desarrollo de su argumento general Boeri destaca la relevancia de algunos argumentos y explicaciones de Pseudo Filópono, quien (correctamente a su juicio) (...) se esfuerza por anclar el problema del intelecto del lado psicológico, lo cual presupone que el intelecto debe tener un “soporte” corpóreo. Una consecuencia de su examen es, según Boeri, que no sólo la interpretación de Alejandro del intelecto agente no constituye una correcta exégesis de De anima III 5, sino también que, al identificar al intelecto agente con el “intelecto que viene de afuera”, con dios y con la causa primera, Alejandro introduce una importante incoherencia dentro de su propia concepción psicológica que reconoce la tesis de Aristóteles de que los estados anímicos “se dan” a través del cuerpo. (shrink)

Mi meta en este ensayo es, primero, reconstruir los puntos de vista de Marcelo Dascal en relación con las controversias filosóficas y, en segundo lugar, someterla a un examen crítico. Dejo en claro que las tesis de Dascal tienen un amplio rango de aplicaciones. Mi crítica se centra alrededor del concepto de conocimiento y de la idea misma de reconstrucción pragmática. Considero también la sugerente conexión que Dascal establece entre las controversias y el progreso intelectual.

This article deals with the relationship between the creator of psychoanalysis, Sigmund Freud, and the Latvian-born Chilean professor of physiology – and endocrinologist and anthropologist – Alejandro (or Alexander) Lipschütz. Up till now, the historiography of psychoanalysis in Chile has ignored the existence of this relationship, that is to say, the fact that there exists an interesting exchange of correspondence as well as references to Lipschütz in some important works published by Freud and in Freud’s correspondence with the Hungarian (...) psychoanalyst Sándor Ferenczi. There are also references to works on psychoanalysis carried out by Lipschütz in Chile. The Freud–Lipschütz relationship allows us to examine two interesting topics in contemporary historiographical approaches to psychoanalysis. First, it permits us to reflect on the connections that Freud and Ferenczi sought to establish between psychoanalysis and biology (endocrinology in particular) as a strategy to address criticism of the scientific foundations of psychoanalysis and, therefore, to help legitimize psychoanalysis in the field of science. Second, the relationship between Freud, working in a culturally influential city such as Vienna, and Lipschütz, working in a ‘peripheral’ country such as Chile, paves the way to reflect on the consequences of a history of psychoanalysis written from the perspective of the ‘margins’. This is a history that focuses not on regions where early industrialization and modernization processes, along with an important academic and scientific tradition, help explain the interest in and reception of psychoanalysis, but on regions where different sets of conditions have to be examined to explain appropriation and dissemination processes. (shrink)

No cinema brasileiro recente, o diálogo entre o documentário e a ficção tem merecido destaque, com produções de baixo orçamento e ideias originais. É o caso de Santiago (João Moreira Salles, 2007) e Viajo Porque Preciso, Volto Porque Te Amo (Marcelo Gomes, Karim Aïnouz, 2009), filmes que trabalham esse diálogo de forma sutil e diegética, ressignificando imagens de um arquivo próprio, pessoal.

Ensayos-homenaje en el primer centenario del nacimiento del fil sofo espa ol, que abordan diversos aspectos de la obra de Ortega. Los cuatro trabajos dibujan con rigor algunos de los horizontes planteados por el maestro y respetan la debida modernidad conceptual. la compilaci n estuvo a cargo de Fernando Salmer n, Alejandro Rossi, Luis Villoro y Ram n Xirau.

O manuscrito clandestino Jordanus Brunus redivivus ou Traité des erreurs populaires foi publicado em 1771, não trazendo indicação alguma de sua autoria. Entretanto, a despeito do anonimato da obra, ela tornou-se um dos textos mais famosos dentre a filosofia clandestina do século XVIII, aludindo a um filósofo que foi uma das maiores vítimas da superstição e do fanatismo de sua época: Giordano Bruno. O título do escrito é uma espécie de homenagem ao pensador italiano, mas não há no decorrer da (...) obra uma menção sequer que comprove que o autor anônimo tenha lido uma linha de suas obras, mesmo que seja considerado o elo filosófico de união entre o brunismo da primeira metade do século XVII e o da segunda metade do século XVIII. É em um encadeamento de ideias progressivo no Jordanus Brunus que nos permite encontrar o fio condutor das reflexões do autor: a sua formulação do ateísmo caracteriza-se por sua abordagem não dogmática, dissimulada, preparando o solo para o racionalismo ateu que estaria por vir. O presente artigo limitar-se-á à terceira e quarta partes do manuscrito, nas quais o autor anônimo vai tratar diretamente da questão da existência de deus e fazer diversas objeções às provas de sua existência. (shrink)

This book provides both an introduction to the philosophy of scientific modeling and a contribution to the discussion and clarification of two recent philosophical conceptions of models: artifactualism and fictionalism. These can be viewed as different stances concerning the standard representationalist account of scientific models. By better understanding these two alternative views, readers will gain a deeper insight into what a model is as well as how models function in different sciences. Fictionalism has been a traditional epistemological stance related to (...) antirealist construals of laws and theories, such as instrumentalism and inferentialism. By contrast, the more recent fictional view of models holds that scientific models must be conceived of as the same kind of entities as literary characters and places. This approach is essentially an answer to the ontological question concerning the nature of models, which in principle is not incompatible with a representationalist account of the function of models. The artifactual view of models is an approach according to which scientific models are epistemic artifacts, whose main function is not to represent the phenomena but rather to provide epistemic access to them. It can be conceived of as a non-representationalist and pragmatic account of modeling, which does not intend to focus on the ontology of models but rather on the ways they are built and used for different purposes. The different essays address questions such as the artifactual view of idealization, the use of information theory to elucidate the concepts of abstraction and idealization, the deidealization of models, the nature of scientific fictions, the structural account of representation and the ontological status of structures, the role of surrogative reasoning with models, and the use of models for explaining and predicting physical phenomena. (shrink)

Multialgebras have been much studied in mathematics and in computer science. In 2016 Carnielli and Coniglio introduced a class of multialgebras called swap structures, as a semantic framework for dealing with several Logics of Formal Inconsistency that cannot be semantically characterized by a single finite matrix. In particular, these LFIs are not algebraizable by the standard tools of abstract algebraic logic. In this paper, the first steps towards a theory of non-deterministic algebraization of logics by swap structures are given. Specifically, (...) a formal study of swap structures for LFIs is developed, by adapting concepts of universal algebra to multialgebras in a suitable way. A decomposition theorem similar to Birkhoff’s representation theorem is obtained for each class of swap structures. Moreover, when applied to the 3-valued algebraizable logics J3 and Ciore, their classes of algebraic models are retrieved, and the swap structures semantics become twist structures semantics. This fact, together with the existence of a functor from the category of Boolean algebras to the category of swap structures for each LFI, suggests that swap structures can be seen as non-deterministic twist structures. This opens new avenues for dealing with non-algebraizable logics by the more general methodology of multialgebraic semantics. (shrink)

Despite being fairly powerful, finite non-deterministic matrices are unable to characterize some logics of formal inconsistency, such as those found between mbCcl and Cila. In order to overcome this limitation, we propose here restricted non-deterministic matrices (in short, RNmatrices), which are non-deterministic algebras together with a subset of the set of valuations. This allows us to characterize not only mbCcl and Cila (which is equivalent, up to language, to da Costa's logic C_1) but the whole hierarchy of da Costa's calculi (...) C_n. This produces a novel decision procedure for these logics. Moreover, we show that the RNmatrix semantics proposed here induces naturally a labelled tableau system for each C_n, which constitutes another decision procedure for these logics. This new semantics allows us to conceive da Costa's hierarchy of C-systems as a family of (non deterministically) (n+2)-valued logics, where n is the number of "inconsistently true" truth-values and 2 is the number of "classical" or "consistent" truth-values, for every C_n. (shrink)

In this essay I revise, based on the notion of the ‘enlightened ruler’ or mingzhu and his critique of the literati of his time, the common belief that Han Fei was an amoralist and an advocate of tyranny. Instead, I will argue that his writings are dedicated to advising those who ought to rule in order to achieve the goal of a peaceful and stable society framed by laws in accordance with the dao.

The logics of formal inconsistency (LFIs, for short) are paraconsistent logics (that is, logics containing contradictory but non-trivial theories) having a consistency connective which allows to recover the ex falso quodlibet principle in a controlled way. The aim of this paper is considering a novel semantical approach to first-order LFIs based on Tarskian structures defined over swap structures, a special class of multialgebras. The proposed semantical framework generalizes previous aproaches to quantified LFIs presented in the literature. The case of QmbC, (...) the simpler quantified LFI expanding classical logic, will be analyzed in detail. An axiomatic extension of QmbC called QLFI1o is also studied, which is equivalent to the quantified version of da Costa and D'Ottaviano 3-valued logic J3. The semantical structures for this logic turn out to be Tarkian structures based on twist structures. The expansion of QmbC and QLFI1o with a standard equality predicate is also considered. (shrink)

O presente trabalho procura se debruçar sobre a dimensão ontológica do homem animal-político-social em Aristóteles. Logo, desde já nos cabe ressaltar que a verificação do homem enquanto animal político-social abarcará um caráter metafísico para a efetivação no e do físico-material-natural, ou seja, o ser biopsicossocial. Refletindo, construindo e interligando o ser físico e “espiritual”. Portanto, o objeto principal será o que diz respeito ao homem como um animal político-social, no sentido ontológico do ser sensível em Aristóteles. Para tanto, a proposta (...) abarcará a Teoria das Quatro Causas de Aristóteles. Isso para demonstrar certa ontologia de uma suposta essência da ou na substancia no e do ser humano. Ou seja, quem é o “homem-ser-ente” coberto por sua estrutura física e sensível no sentido ontológico no corporal? São os seres humanos animais essencialmente políticos? E se forem são seres políticos do e ou no “espiritual”, “almático” e metafísico ou no físico-corporal? (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

In 1986, Mikenberg et al. introduced the semantic notion of quasi-truth defined by means of partial structures. In such structures, the predicates are seen as triples of pairwise disjoint sets: the set of tuples which satisfies, does not satisfy and can satisfy or not the predicate, respectively. The syntactical counterpart of the logic of partial truth is a rather complicated first-order modal logic. In the present article, the notion of predicates as triples is recursively extended, in a natural way, to (...) any complex formula of the first-order object language. From this, a new definition of quasi-truth is obtained. The proof-theoretic counterpart of the new semantics is a first-order paraconsistent logic whose propositional base is a 3-valued logic belonging to hierarchy of paraconsistent logics known as Logics of Formal Inconsistency, which was proposed by Carnielli and Marcos in 2002. (shrink)

Epistemic Utility Theory is often identified with the project of *axiology-first epistemology*—the project of vindicating norms of epistemic rationality purely in terms of epistemic value. One of the central goals of axiology-first epistemology is to provide a justification of the central norm of Bayesian epistemology, Probabilism. The first part of this paper presents a new challenge to axiology first epistemology: I argue that in order to justify Probabilism in purely axiological terms, proponents of axiology first epistemology need to justify a (...) claim about epistemic value—what I label ‘Downwards Propriety’—much stronger than any they have offered justification. The second part of this paper offers an argument that this challenge cannot be met: that there is no hope for providing a purely axiological justification of Downwards Propriety, at least given widely accepted assumptions about epistemic value. (shrink)

The literary genesis of Einbahnstraße by Walter Benjamin represents a very special case of the use of the procedures of surrealism in the philosophical-literary production of the author. The process of evolution of thinking that ended up in the writing of this piece is unveiled throughout the present analysis. This is a sign of both waiver and restart; the opening for a new productive dimension in the career of one of the most important —and misunderstood— philosophers of the 20th century. (...) More than enlightening a small master piece of philosophy from a literary perspective, or analyzing a small master piece of literature from the philosophy, what is being problematized here is the division, cultivated or figured throughout the years, between both disciplines. This work is intended to recover what is insoluble from the philosophical-literary labor of Walter Benjamin, besides tracing a possible reconfiguration for an interdisciplinary field of work to come up and contribute in the understanding of the problem called The Retreat of Metaphor by Jacques Derrida. (shrink)

Suszko's Thesis maintains that many-valued logics do not exist at all. In order to support it, R. Suszko offered a method for providing any structural abstract logic with a complete set of bivaluations. G. Malinowski challenged Suszko's Thesis by constructing a new class of logics (called q-logics by him) for which Suszko's method fails. He argued that the key for logical two-valuedness was the "bivalent" partition of the Lindenbaum bundle associated with all structural abstract logics, while his q-logics were generated (...) by "trivalent" matrices. This paper will show that contrary to these intuitions, logical two-valuedness has more to do with the geometrical properties of the deduction relation of a logical structure than with the algebraic properties embedded on it. (shrink)

The article went deeper into Richard Rorty’s texts that address the self as “a set of beliefs and desires.” In an imbrication of philosophy with psychoanalysis, Rorty’s hermeneutics accompanies the critique of psychoanalysis regarding the self-centralization from Metaphysical tradition, one of the strategies of self-redescription. The other strategy is aesthetic redescription. This redescription is based on understanding the psychic world as an encounter of “beliefs and desires” as “quasi-people.” The thread of our argument is the articulation of psychoanalysis with the (...) concept of “hegemony.” This reflexive line occurs due to the agonist and conflicting context of internal alterity from the “interpersonal” relationship between conscious and unconscious, rediscovering the self. (shrink)

We analyze the variety of A. Monteiro’s tetravalent modal algebras under the perspective of two logic systems naturally associated to it. Taking profit of the contrapositive implication introduced by A. Figallo and P. Landini, sound and complete Hilbert-style calculi for these logics are presented.

The aim of the paper is to analyze the expressive power of the square operator of Łukasiewicz logic: ∗x=x⊙x⁠, where ⊙ is the strong Łukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in which the square operator is enough to construct a finite MV-chain from a finite totally ordered set endowed with an involutive negation. The first of our main results shows that, indeed, the whole structure of MV-chain can be reconstructed from the involution and the (...) Łukasiewicz square operator if and only if the obtained structure has only trivial subalgebras and, equivalently, if and only if the cardinality of the starting chain is of the form n+1 where n belongs to a class of prime numbers that we fully characterize. Secondly, we axiomatize the algebraizable matrix logic whose semantics is given by the variety generated by a finite totally ordered set endowed with an involutive negation and Łukasiewicz square operator. Finally, we propose an alternative way to account for Łukasiewicz square operator on involutive Gödel chains. In this setting, we show that such an operator can be captured by a rather intuitive set of equations. (shrink)

Trying to overcome Dugundji’s result on uncharacterisability of modal logics by finite logical matrices, Kearns and Ivlev proposed, independently, a characterisation of some modal systems by means of four-valued multivalued truth-functions , as an alternative to Kripke semantics. This constitutes an antecedent of the non-deterministic matrices introduced by Avron and Lev . In this paper we propose a reconstruction of Kearns’s and Ivlev’s results in a uniform way, obtaining an extension to another modal systems. The first part of the paper (...) is devoted to four-valued Nmatrices, including Kearns’s and Ivlev’s. Besides proving with full details Kearns’s results for T, S4 and S5, we also obtain a characterisation of the system B by four-valued Nmatrices with level valuations. Concerning Ivlev’s results, two new modal systems are introduced and char.. (shrink)

I argue that Husserl’s concept of position-taking, Stellungnahme, is adequate to understand the idea of second nature as an issue of philosophical anthropology. I claim that the methodological focus must be the living subject that acts and lives among others, and that the notion of second nature must respond to precisely this fundamental active character of subjectivity. The appropriate concept should satisfy two additional desiderata. First, it should be able to develop alongside the biological, psychological, and social individual development. Second, (...) it should be able to underlie the vast diversity of human beings within and across communities. As possible candidates, I contrast position-taking with two types of habit-like concepts: instinct and habitus, on the one hand, and customary habits, on the other. I argue that position-taking represents the active aspect of the subject while the habit-like concepts are passive. A subject’s position-takings and ensuing comportments are tied together by motivations, which evince a certain consistency, and for this reason are expression of the subject’s identity. I conclude by nuancing the relation between Stellungnahme and passivity. Passivity is deemed necessary to action but subservient to it; position-taking is thought to be prior to passivity. (shrink)

Trata-se de um artigo de viés ensaístico que tenta apontar a impressão de que a instituição escolar habita uma densa crise existencial. A suposição que norteia essa reflexão visa à crise na educação escolar como uma aparência que costuma continuar velada na maior parte dos discursos críticos acerca da escolarização atual: o afastamento do sentido humano ontológico-social e do significado da experiência que relacionam professor-estudante. A investigação nesta atividade será realizada a partir de conceito recentemente desenvolvido, o absurdar-se, em uma (...) tentativa de aplicação desse conceito nas nossas experiências em escolas, nas quais atuamos como psicólogo da educação. (shrink)